AGENT 1
AGENT 2
AGENT 3
AGENT 4
AGENT 5
AGENT 6
AGENT 7
AGENT 8
VARIABLE 0 1 3
VARIABLE 1 2 3
VARIABLE 2 3 3
VARIABLE 3 4 3
VARIABLE 4 5 3
VARIABLE 5 6 3
VARIABLE 6 7 3
VARIABLE 7 8 3
CONSTRAINT 0 2
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 0 5
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 0 6
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 1 2
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 1 3
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 1 5
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 1 7
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 2 4
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 2 5
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 2 7
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 3 5
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 3 6
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 4 5
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 4 6
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 5 7
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
CONSTRAINT 6 7
NOGOOD 0 0
NOGOOD 1 1
NOGOOD 2 2
